closed term
closed term
in Technology
theory
A term with no
free variables
.
(1994-12-16)